大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Integrated Computing Technology [electronic resource] : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31 鈥ʵne 2, 2011. Proceedings

0
索取号：
作者：Hruschka、 Estevam Rafael.、Watada、 Junzo.、Carmo Nicoletti、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

High Performance Computing on Vector Systems 2011 [electronic resource]

0
索取号：
作者：Resch、 Michael.、Wang、 Xin.、Bez、 Wolfgang.、Focht、 Erich.、Kobayashi、 Hiroaki.、Roller、 Sabine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

0
索取号：
作者：Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

0
索取号：
作者：Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Building Innovation Pipelines through Computer-Aided Innovation [electronic resource] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 鈥ʵly 1, 2011. Proceedings

0
索取号：
作者：Cavallucci、 Denis.、Guio、 Roland.、Cascini、 Gaetano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Soft Computing in Green and Renewable Energy Systems [electronic resource]

0
索取号：
作者：Gopalakrishnan、 Kasthurirangan.、Khaitan、 Siddhartha Kumar.、Kalogirou、 Soteris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

0
索取号：
作者：Mohamad Zain、 Jasni.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

0
索取号：
作者：Gopalakrishnan、 Ganesh.、Qadeer、 Shaz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

VII Hotine-Marussi Symposium on Mathematical Geodesy [electronic resource] : Proceedings of the Symposium in Rome, 6-10 June, 2009

0
索取号：
作者：Sneeuw、 Nico.、Nov谩k、 Pavel.、Crespi、 Mattia.、Sans貌、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Strategic Issues in Air Transport [electronic resource] : Legal, Economic and Technical Aspects

0
索取号：
作者：Abeyratne、 Ruwantissa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations of Intelligent Systems [electronic resource] : 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings

0
索取号：
作者：Kryszkiewicz、 Marzena.、Rybinski、 Henryk.、Skowron、 Andrzej.、Ra艣、 Zbigniew W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011. Proceedings

0
索取号：
作者：Kuznetsov、 Sergei O.、艢l臋zak、 Dominik.、Hepting、 Daryl H.、Mirkin、 Boris G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Concepts of Quantum Mechanics [electronic resource]

0
索取号：
作者：Gustafson、 Stephen J.、Sigal、 Israel Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Augmented Cognition. Directing the Future of Adaptive Systems [electronic resource] : 6th International Conference, FAC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

0
索取号：
作者：Schmorrow、 Dylan D.、Fidopiastis、 Cali M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Education, Simulation and Modeling [electronic resource] : International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

0
索取号：
作者：Lin、 Song.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Online Communities and Social Computing [electronic resource] : 4th International Conference, OCSC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

0
索取号：
作者：Ozok、 A. Ant.、Zaphiris、 Panayiotis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.